Excerpt from A History of Formal Logic In this edition of the most considerable history Of formal logic yet published, the Opportunity has Of course been taken to make some adjustments seen to be necessary in the original, with the author's full concurrence. Only in 36, however, has the numeration of cited passages been altered owing to the introduction of new matter. Those changes are as follows. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. (...) Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

Professor Bochenski, as he himself points out in the prologue, is a logician; he is best known in England and the United States for his work in the history of logic, and more recently in Soviet and East European philosophy. But he has taught philosophy for many years - in Rome, in Switzerland, and on a number of visits to the United States - and in this book provides an elementary introduction to contemporary work in the field. As a means (...) to this end he has chosen to deal with four alternative methods employed by philosophers in the twentieth century. Philosophical methodology has not attracted much attention, in English speaking circles, as a distinct branch of the discipline of philosophy; the term "methodologist", if used at all, would ordinarily be taken to refer to somebody concerned with scientific rather than philosophical method. When, therefore, Professor Bochenski refers, as he frequently does, to "contemporary methodologists", meaning people who debate the re spective merits of phenomenology and mathematical logic as ways of approaching the world, the phrase has an odd ring. But philosophical methodology really makes a great deal more sense than scientific method ology. In science methodology is almost superfluous; given all the avail able information and a reasonably clear idea of what is wanted, there is usually not much ambiguity as to the means of getting it, or not much that could be resolved by mere argument. (shrink)

The work of which this is an English translation appeared originally in French as Precis de logique mathematique. In 1954 Dr. Albert Menne brought out a revised and somewhat enlarged edition in German. In making my translation I have used both editions. For the most part I have followed the original French edition, since I thought there was some advantage in keeping the work as short as possible. However, I have included the more extensive historical notes of Dr. Menne, his (...) bibliography, and the two sections on modal logic and the syntactical categories, which were not in the original. I have endeavored to correct the typo graphical errors that appeared in the original editions and have made a few additions to the bibliography. In making the translation I have profited more than words can tell from the ever-generous help of Fr. Bochenski while he was teaching at the University of Notre Dame during 1955-56. OTTO BIRD Notre Dame, 1959 I GENERAL PRINCIPLES § O. INTRODUCTION 0. 1. Notion and history. Mathematical logic, also called 'logistic', ·symbolic logic', the 'algebra of logic', and, more recently, simply 'formal logic', is the set of logical theories elaborated in the course of the last century with the aid of an artificial notation and a rigorously deductive method. (shrink)